A formal ontology of subcellular neuroanatomy

A Formal Ontology of Subcellular Neuroanatomy

The complexity of the nervous system requires high-resolution microscopy to resolve the detailed 3D structure of nerve cells and supracellular domains. The analysis of such imaging data to extract cellular surfaces and cell components often requires the combination of expert human knowledge with carefully engineered software tools. In an effort to make better tools to assist humans in this ende...

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

An Ontology-Driven Knowledge Environment For Subcellular Neuroanatomy

Toward an Ontological Database for Subcellular Neuroanatomy

We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ontology, but extends them to include novel constructs that address several unresolved challenges encountered by biologists in using ontological models in their databases. The model addresses the interplay between models...

A Formal Ontology of Texts

The paper outlines a formal ontology of texts. The main ontological distinction I try to capture is the difference between tokens of texts (physical texts) and texts (abstract texts) themselves. The latter are understood here as ontologically dependent on the former in the sense spelled out by the axioms of the ontology. I formally characterise both types by means of their criteria of identity ...